Klebanov, Vladimir: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2016 ACM SIGSAC Conference - Vienna, Austria (2016.10.24-2016.10.28)] Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16 - Practical Detection of Entropy Loss in Pseudo-Random Number Generators

Dörre, Felix, Klebanov, Vladimir

Year:

2016

Language:

english

File:

PDF, 621 KB

english, 2016

2

Relational Program Reasoning Using Compiler IR

Kiefer, Moritz, Klebanov, Vladimir, Ulbrich, Mattias

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 736 KB

english, 2017

3

A new representation for the characteristic function of strictly geo-stable vectors

Klebanov, Lev B., Mittnik, Stefan, Rachev, Svetlozar T., Volkovich, Vladimir E.

Journal:

Journal of Applied Probability

Year:

2000

Language:

english

File:

PDF, 93 KB

english, 2000

4

A New Representation for the Characteristic Function of Strictly Geo-Stable Vectors

Lev B. Klebanov, Stefan Mittnik, Svetlozar T. Rachev and Vladimir E. Volkovich

Journal:

Journal of Applied Probability

Year:

2000

Language:

english

File:

PDF, 493 KB

english, 2000

5

A Dynamic Logic for deductive verification of multi-threaded programs

Bernhard Beckert, Vladimir Klebanov

Journal:

Formal Aspects of Computing

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

6

VerifyThis 2012

Huisman, Marieke, Klebanov, Vladimir, Monahan, Rosemary

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 496 KB

english, 2015

7

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Automating regression verification

Felsing, Dennis, Grebing, Sarah, Klebanov, Vladimir, Rümmer, Philipp, Ulbrich, Mattias

Year:

2014

Language:

english

File:

PDF, 586 KB

english, 2014

8

Automating regression verification of pointer programs by predicate abstraction

Klebanov, Vladimir, Rümmer, Philipp, Ulbrich, Mattias

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 956 KB

english, 2017

9

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - A Dynamic Logic for Deductive Verification of Concurrent Programs

Beckert, Bernhard, Klebanov, Vladimir

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

10

VerifyThis 2015

Huisman, Marieke, Klebanov, Vladimir, Monahan, Rosemary, Tautschnig, Michael

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 483 KB

english, 2016

11

[ACM Press the 17th Workshop - Prague, Czech Republic (2015.07.07-2015.07.07)] Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 - Regression verification for Java using a secure information flow calculus

Beckert, Bernhard, Klebanov, Vladimir, Ulbrich, Mattias

Year:

2015

Language:

english

File:

PDF, 348 KB

english, 2015

12

Precise quantitative information flow analysis— a symbolic approach

Klebanov, Vladimir

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 816 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски